0000000000000000000000000000000000000000 627b9280b7ec74d2e849601d2bef60f997e4a9cc neingeist <neingeist@bl0rg.net> 1341568271 +0200	clone: from git://git.nomeata.de/darcs-mirror-gpn12-agda-talk.git
